Title | ||
---|---|---|
Using extended predicate/transition-nets for the specification, analysis and synthesis of embedded real-time systems |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/978-0-387-35570-2_4 | DIPES |
Keywords | Field | DocType |
embedded real-time system,extended predicate | Predicate transition,Functional requirement,Computer science,Modeling language,Algorithm,Design flow,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-7923-8614-0 | 1 | 0.37 |
References | Authors | |
5 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jürgen Tacken | 1 | 40 | 9.48 |