Sciweavers

14331 search results - page 259 / 2867
» On the modeling and analysis of obligations
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
15 years 6 months ago
Quantitative Analysis With the Probabilistic Model Checker PRISM
Marta Z. Kwiatkowska, Gethin Norman, David Parker
BMCBI
2007
95views more  BMCBI 2007»
15 years 6 months ago
Logical modelling and analysis of the budding yeast cell cycle
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Adrien Fauré, Claudine Chaouiya, Andrea Cil...
IJON
2008
72views more  IJON 2008»
15 years 6 months ago
Modeling and stability analysis of grey-fuzzy predictive control
Lisheng Wei, Minrui Fei, Huosheng Hu