|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan Schmitt |
Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines).  |
it - Information Technology  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Schmitt |
Modellierung und Verifikation medizinischer Leitlinien. |
Ausgezeichnete Informatikdissertationen |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt |
Verification of Medical Guidelines Using Background Knowledge in Task Networks. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Medical guidelines, formal verification, temporal logic, background knowledge |
| 1 | Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt |
Combining task execution and background knowledge for the verification of medical guidelines. |
Knowl.-Based Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt |
Verification of Medical Guidelines Using Task Execution with Background Knowledge. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt |
Verification of Medical Guidelines by Model Checking - A Case Study. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Asbru, medical guidelines, Model checking, verification, formal methods, abstraction |
| 1 | Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |
Interactive Verification of Medical Guidelines. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Lilja, Jonathan Schmitt |
A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks. |
EUROSIM |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")