MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Modeling Real-Time Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

471 documents found, showing 1 through 10. Next 10 →

ATOM

Modeling Real-time Systems
by Joseph Sifakis — 2004 — Challenges and Work Directions,” EMSOFT 2001, LNCS 2211
…Modeling Real-time Systems Joseph Sifakis Verimag, Grenoble, France Sifakis@(email omitted); Modeling real-time…
Cited by 5 (0 self) – Add To MetaCart

Modelling Real-Time Systems
by Nancy Lynch — 1988
… and distribution of this copy is permitted by transmission or any other means. Modelling Real-Time Systems Nancy…
Cited by 2 (2 self) – Add To MetaCart

Building Models of Real-Time Systems from Application Software
by Joseph Sifakis, Stavros Tripakis, Associate Member, Sergio Yovine — 2003 — In Proceedings of the IEEE Special issue on modeling and design of embedded
…Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS…
Cited by 14 (2 self) – Add To MetaCart

Modelling Real Time Systems from Object Oriented Models
by Silvino José Silva Bastos — 2001
…-Critical Real-Time Systems (SCRTS) [1] modelling requires techniques and development tools that shall assure…
Cited by 1 (0 self) – Add To MetaCart

A Periodic Object Model for Real-Time Systems
by H. Rebecca Callison — 1993
…A Periodic Object Model for Real-Time Systems 1 H. Rebecca Callison Department of Computer Science…
Add To MetaCart

Adopting a Software Component Model in Real-Time Systems Development
by Frank Lüders — 28th Annual NASA/IEEE Software Engineering Workshop
…Adopting a Software Component Model in Real-Time Systems Development Frank Lüders ABB Automation…
Cited by 1 (0 self) – Add To MetaCart

Scheduling-Oriented Models for Real-Time Systems
by Gavin Lowe, Gavin Lowe — 1994 — The Computer Journal
…Programming Research Group SCHEDULING-ORIENTED MODELS FOR REAL-TIME SYSTEMS Gavin Lowe PRG-TR-10…
Cited by 4 (2 self) – Add To MetaCart

Verification via Digitized Models of Real-Time Systems
by Dang Van Hung, Ko Kwang — 1996 — UNU-IIST, P.O. Box 3058, Macao 20 the Proceedings of Asia-Pacific Software Engineering Conference 1996 (APSEC’96), IEEE Computer
… via Digitized Models of Real-Time Systems Dang Van Hung and Ko Kwang Il Feb 1996 UNU/IIST UNU…
Cited by 2 (1 self) – Add To MetaCart

Modeling Real-Time Systems - Challenges and Work Directions
by Joseph Sifakis — 2001 — In Proceedings of the 1st International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science
…Modeling Real-Time Systems | Challenges and Work Directions Joseph Sifakis Joseph…
Cited by 8 (0 self) – Add To MetaCart

Combining UML and formal notations for modelling real-time systems
by Luigi Lavazza, Gabriele Quaroni — 2000
… systems This article explores a dual approach to real-time software development. Models are written in UML…
Cited by 17 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB