Distributed Systems and Internet Technologies, Distributed Data Intelligence and Technologies

Main navigation

Home
Research
Innovation
- Mobile App
- Open Source
Education and Courses
Contacts

Home

Temporal Logics for Real-Time System Specication

Submitted by admin on Fri, 02/07/2014 - 00:02

373 views

real time systems specification, formal methods, tilco, uml

Axmedis ID

urn:axmedis:00000:obj:941a0212-7812-474f-a14f-e41566d4a098

Temporal Logics for Real-Time System Specication

Document type

pdf

File

NesiACMCS99.pdf

Link

https://www.disit.org/drupal/?q=en-US/axmedis/download&id=urn%3Aaxmedis%3A00000…

DISIT Lab

University of Florence
Faculty of Engineering,
Via S. Marta 3, 50139 Firenze, ITALY

Lab Chair
Prof. Paolo Nesi
paolo.nesi@unifi.it
www.disit.dinfo.unifi.it/nesi
skype: nesipaolo

Phone numbers

Office: +39-055-275-8515
Lab: +39-055-275-8516 / 8517
Admin: +39-055-275-8517
Conf call: +39-055-275-8511
Fax: +39-055-275-8570
Mobile: +39-335-566-8674
Faculty gate: +39-055-275-8950, 8951

Practical infos

The access to DISIT lab is subjected by authorisation, please contact info@disit.org.