Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Syddansk Universitet Forside
Hjælp og FAQ
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Projekter
Datasæt
Presse/medie
Priser
Undervisning
Impacts
Søg efter ekspertise, navn eller tilknytning
Vis Scopus-profil
Gourinath Banda
Mærsk Mc-Kinney Møller Instituttet
Lektor
,
SDU Center for Industriel Software - CIS
Telefon
+4565507434
E-mail
banda
sdu
dk
Oversigt
Fingeraftryk
Netværk
Publikationer
(21)
Lignende forskere
(6)
Publikationer
13
Konferencebidrag i proceedings
6
Tidsskriftartikel
1
Rapport
1
Kapitel i bog
Publikationer pr. år
Publikationer pr. år
1 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Rapport
Søgeresultater
2010
Modelling and Analysis of Real Time Systems with Logic Programming and Constraints
Banda, G.
,
sep. 2010
,
Roskilde Universitet
.
165 s.
(Datalogiske skrifter; Nr. 130).
Publikation
:
Bog/rapport
›
Rapport
›
Forskning
›
peer review
Logic Programming
100%
Real Time Systems
100%
Logic Constraint
100%
Computation Tree
100%
Model Checking
85%