Ana Cavalli – författare
Visar alla böcker från författaren Ana Cavalli. Handla med fri frakt och snabb leverans.
12 produkter
SDL '97: Time for Testing
SDL, MSC and Trends
E-bok, 1997
3504 kr
Lägg i varukorg
As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL ''97 may have the first participant younger than SDL itself. SDL ''97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other …
Protocol Test Systems VIII
Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
Av Stan Budkowski, Ana Cavalli
E-bok, 2013
2925 kr
Lägg i varukorg
IWPTS''95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS''95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to …
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Elie Najm, Ana Cavalli m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
Protocol Test Systems VIII
Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
Av Ana Cavalli, Stan Budkowski
Inbunden, 1996
2180 kr
Lägg i varukorg
IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to "Architecture …
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Stan Budkowski, Elie Najm m. fl.
Inbunden, 1998
2180 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
SDL '97: Time for Testing
SDL, MSC and Trends
Inbunden, 1997
2894 kr
Lägg i varukorg
As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other …
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Stan Budkowski, Ana Cavalli m. fl.
Häftad, 2013
2180 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
Protocol Test Systems VIII
Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
Av Ana Cavalli, Stan Budkowski
Häftad, 2013
2180 kr
Lägg i varukorg
IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to "Architecture …
Data Privacy Management and Autonomous Spontaneous Security
5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers
Av Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas m. fl.
Häftad, 2011
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 5th International Workshop on Data Privacy Management, DPM 2010, and the 3rd International Workshop on Autonomous and Spontaneous Security, SETOP 2010, collocated with the ESORICS 2010 symposium …
Data Privacy Management and Autonomous Spontaneous Security
5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP, Athens, Greece, September 23, 2010, Revised Selected Papers
Av Jean Leneutre, Ana Cavalli m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 5th International Workshop on Data Privacy Management, DPM 2010, and the 3rd International Workshop on Autonomous and Spontaneous Security, SETOP 2010, collocated with the ESORICS 2010 symposium …
