System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Paper in proceeding, 2012
Formal Specification and Verification
Formalisms and Modeling Techniques
Manufacturing System Engineering
Author
Sathyamyla Kanthabhabhajeya
Chalmers, Signals and Systems, Systems and control
Petter Falkman
Chalmers, Signals and Systems, Systems and control
Bengt Lennartson
Chalmers, Signals and Systems, Systems and control
IFAC Proceedings Volumes (IFAC-PapersOnline)
14746670 (ISSN)
Vol. 14 PART 1 1543-1550978-390266198-2 (ISBN)
Subject Categories
Production Engineering, Human Work Science and Ergonomics
Computer Systems
Areas of Advance
Production
DOI
10.3182/20120523-3-RO-2023.00189
ISBN
978-390266198-2