|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 8 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Victor Bos, J. J. T. Kleijn |
Redesign of a Systems Engineering Language: Formalisation of X.  |
Formal Asp. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Verification, System analysis, Systems engineering, Operational semantics, Formal semantics, Industrial systems |
| 1 | J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda |
Analysis of an Industrial System. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
verification, formal methods, process algebra, industrial systems |
| 1 | Victor Bos, J. J. T. Kleijn |
Formalisation of a Production System Modelling Language The operational semantics of c Core. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers |
A Process Algebra Based Verification of a Production System. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")