Publicações

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

AuthID
P-008-XH0

Author(s)

Fernandes, JM

Jorgensen, JB

Tjell, S

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

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

Páginas: 294-301

Conference

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

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/apsec.2007.81

SCOPUS: 2-s2.0-44949161940

Source Identifiers

ISSN: 1530-1362

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda