Filters
Executable specifications for embedded distributed systems
Executable specifications for embedded distributed systems...
JA - Elektronika a optoelektronika, elektrotechnika
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Executable Specifications with Rapid Prototyping for Embedded Distributed Systems
This contribution deals with an embedded distributed systems rapid prototyping method that employs hardware prototyping components and an executable specification embedded in reusable system
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Rapid Prototyping of Embedded Distributed Systems
This contribution deals with an embedded distributed systems rapid prototyping method that employs hardware prototyping components and an executable specification of the expanded code embedded in ...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Executable Specifications for Distributed Embedded Systems
Combining hardware components with an executable specification language facilitates the specification prototyping of an embedded distributed system. The specification language should cove...
JC - Počítačový hardware a software
- 2001 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Rapid Prototyping of Networked Embedded Systems
This paper presents rapid prototyping of networked embedded systems by the method that employs hardware and software components and an eligible executable specification language. Statements of that language should ...
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems
Construction process of Distributed Embedded Control Systems (DECS executable intended to run on target platforms or operating systems. That makes) for Embedded Systems solve the problem ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D
Rok uplatnění
D - Stať ve sborníku
Specifications of Secure and Safe Embedded System Networks
The paper focuses on behavioral specifications of reactive and real-time activities of embedded system networks utilizing either structured or object-oriented and software engineering, this contribution presents executa...
JC - Počítačový hardware a software
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Dynamic Software Architecture for Distributed Embedded Control Systems
This paper focuses on the field of dynamically reconfigurable distributed embedded control systems construction process and presents a substantial part variants of Petri Nets. Initial system specification ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Description for Mobile Embedded Control Systems Apply the Multi-Agent Technology
Mobile embedded systems are a part of standard applications of distributed system control in real time. An example of a mobile control system is the robotic system. The software part of a dist...
IN - Informatika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
An Approach to the Design of Networked Embedded Systems
. This contribution discusses in more detail executable specifications and rapid prototypingThe paper presents an approach to formal specification, verification and prototyping of network applications ranging from large inf...
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 342 261