Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vitaliy Mezhuyev" ( http://dblp.L3S.de/Authors/Vitaliy_Mezhuyev )

  Author page on DBLP  Author page in RDF  Community of Vitaliy Mezhuyev in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (1)
Publication types (Num. hits)
inproceedings(2)
Venues (Conferences, Journals, ...)
CPA(1) FM(1)
Authors
Eric Verhulst(2) Vitaliy Mezhuyev(2) Bernhard H. C. Sputh(1) Gjalt G. de Jong(1) Oliver Faust(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bernhard H. C. Sputh, Oliver Faust, Eric Verhulst, Vitaliy Mezhuyev OpenComRTOS: A Runtime Environment for Interacting Entities. Search on Bibsonomy CPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.