System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Paper i proceeding, 2012
Formal Specification and Verification
Formalisms and Modeling Techniques
Manufacturing System Engineering
Författare
Sathyamyla Kanthabhabhajeya
Chalmers, Signaler och system, System- och reglerteknik
Petter Falkman
Chalmers, Signaler och system, System- och reglerteknik
Bengt Lennartson
Chalmers, Signaler och system, System- och reglerteknik
IFAC Proceedings Volumes (IFAC-PapersOnline)
14746670 (ISSN)
Vol. 14 PART 1 1543-1550978-390266198-2 (ISBN)
Ämneskategorier
Produktionsteknik, arbetsvetenskap och ergonomi
Datorsystem
Styrkeområden
Produktion
DOI
10.3182/20120523-3-RO-2023.00189
ISBN
978-390266198-2