Formal verification of UML2 timing diagrams based on Time Petri Nets
Aymen Louati (LR-SITI, Ecole Nationale d’Ingénieurs de Tunis, Université de Tunis El ManarTunisie, Tunis, Tunisia & Laboratoire Cedric, CNAM, Paris, France), Kamel Barkaoui (Laboratoire Cedric, CNAM, Paris, France)
| Year of publication: |
April-June 2016
|
|---|---|
| Authors: | Louati, Aymen ; Barkaoui, Kamel |
| Published in: |
International journal of information systems in the service sector : IJISSS ; an official publication of the Information Resources Management Association. - Hershey, Pa. : IGI Global, ISSN 1935-5688, ZDB-ID 2498765-7. - Vol. 8.2016, 2, p. 87-97
|
| Subject: | OCL | Real-Time | TCTL | TD | TPN | UML | Graphentheorie | Graph theory | Zeit | Time | Terminplanung | Time scheduling | Programmiersprache | Programming language |
| Type of publication: | Article |
|---|---|
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Other identifiers: | 10.4018/IJISSS.2016040107 [DOI] |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10011493947