Publications

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

AuthID
P-008-XH0

Author(s)

Fernandes, JM

Jorgensen, JB

Tjell, S

Document Type

Proceedings Paper

Year published

2007

Published

in Proceedings - Asia-Pacific Software Engineering Conference, APSEC, ISSN: 1530-1362

Pages: 294-301

Conference

14Th Asia Pacific Software Engineering Conference, Aspce 2007, Date: 4 December 2007 through 7 December 2007, Location: Nagoya, Sponsors: SIG Software Eng. Inf. Process. Soc. Japan (IPSJ/SIGSE)

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/apsec.2007.81

SCOPUS: 2-s2.0-44949161940

Source Identifiers

ISSN: 1530-1362

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

Useful Links

Get Help

Federated Authentication (Click on the image)

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

Useful Links

Get Help