- Real-time systems 8
- Distributed systems 3
- Ingeniería de software 3
- Programas-Especificación 3
- Programs-Specification 3
- Sistemas distribuidos 3
- Software engineering 3
- Lenguajes de programación 2
- Programas-Verificación 2
- Programming languages 2
- Programs-Verification 2
- Special-purpose and application-based systems 2
- ADA 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- C++ 1
- C. 1
- CHILL 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Computation modes 1
- Concurrent programming 1
- Control structure reliability, testing and fault tolerance-Harware 1
- Distributed programming 1
- Hybrid systems 1
- OCCAM 2 1
- Operating systems-Organization and design 1
- Organización y diseño 1
- Organization and design 1
- POSIX 1
-
1
-
2
Real-time systems : specification, verification and analysis /
Published 1996Subjects: “…Real-time systems.…”
Book -
3
-
4
A practitioner's handbook for real-time analysis : guide to rate monotonic analysis for real-time systems /
Published 1999Subjects: “…Real-time systems.…”
Book -
5
-
6
-
7
-
8
Formal methods for real-time and probabilistic systems /
Published 1999Subjects:Conference Proceeding Book -
9
Designing concurrent, distributed, and real-time applications with UML /
Published 2000Subjects:Book -
10
-
11
Formal techniques in real-time and fault-tolerant systems /
Published 1996Subjects:Conference Proceeding Book -
12