J.S. Fitzgerald

  • Citations Per Year
Learn More
Signal transducers and activators of transcription 3 (Stat3) has been identified as an important signal transducer in the invasive phenotype of the trophoblasts cells in in vitro studies. However, the in situ distribution and patterns of expression of this molecule in trophoblast cells during the development of the placenta are still under-elucidated. Mice(More)
The Vienna development method (VDM) is one of the longest established and best known formal methods. Recent developments in VDM have included its extension to support object-oriented design and concurrency in VDM++ and providing a capability for modelling real-time distributed systems. VDM is model-oriented - the formal language is used to construct a model(More)
  • 1