Christiaan P J Prins

  • Citations Per Year
Learn More
This paper presents an effort to use formal tools to model, validate, and generate test suites for the ATM network routing protocol called Private Network-Network Interface (PNNI). PNNI consists of three layers of protocols: the Hello protocol for identifying the status of NNIs; the Database Synchronization protocol for maintenance of routing databases; and(More)
INTRODUCTION While prescribing biosimilars to patients naive to a biologic treatment is a well-accepted practice, switching clinically stable patients from an originator to a biosimilar is an issue for clinicians. Well-designed clinical trials and real-world data which study the consequences of switching from an originator biologic treatment to its(More)
  • 1