Interface between SysML and Sequence Planner Language for Formal Verification
Poster (konferens), 2013
Författare
Sathyamyla Kanthabhabhajeya
Chalmers, Signaler och system, System- och reglerteknik, Automation
Joakim Berglund
Chalmers, Signaler och system, System- och reglerteknik, Automation
Petter Falkman
Chalmers, Signaler och system, System- och reglerteknik, Automation
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik, Automation
23rd Annual INCOSE International Symposium, Philadelphia, USA, June
Drivkrafter
Hållbar utveckling
Styrkeområden
Produktion
Ämneskategorier
Reglerteknik