نتایج جستجو برای: uno
تعداد نتایج: 7638 فیلتر نتایج به سال:
We present an analysis of the behaviour of an IC Linux driver, by means of model checking with the mCRL2 toolset and static analysis with UNO. We have reverse engineered the source code to obtain the structure and interactions of the driver. Based on these results, we have semi-automatically created an mCRL2 model of the behaviour of the driver, on which we have checked mutual exclusion propert...
Resumen. El número potencial de usuarios del web crece de tal forma que tener en cuenta sus características para diseñar una interfaz de acceso a la información válida para todos ellos es, adía de hoy, inviable. Puesto que sus necesidades y conocimientos varían de una forma considerable, conseguir un acceso satisfactorio a la información por parte de los mismos sólo es posible si se trata de pe...
Nella letteratura italiana degli ultimi decenni lo scrittore Andrea Camilleri rappresenta un caso raro di successo editoriale e di pubblico, con centinaia di migliaia di copie vendute, traduzioni in molte lingue, riconoscimenti e convegni in suo onore. Uno dei suoi titoli più noti è il romanzo storico Il Birraio di Preston. Lo scrittore è diventato famoso presso il grande pubblico inizialmente ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید